A modular verifiable exception handling mechanism
نویسندگان
چکیده
منابع مشابه
Modular Exception Handling in Context-Aware Applications
Exception handling systems are designed to promote enhanced program modularization in the presence of faults, by supporting a well-defined lexical separation of normal and abnormal code. However, mobile applications seem to require specialized exception handling mechanisms due to their features of contextawareness and asynchronous communication. Hence this research investigates the impact of su...
متن کاملA New Mechanism for Exception Handling in Concurrent Control Systems
The most difficult aspect of concurrent discrete-event control is the handling of errors. Most present day languages for concurrent control system specification do not provide adequate mechanisms for exception handling, which is a major limitation on their effectiveness. In this paper, a new mechanism for exception handling in concurrently executing discrete-event control processes is treated, ...
متن کاملException Handling
The rst part of this paper provides rigorous deenitions for several basic concepts underlying the design of dependable programs, such as speciication, program semantics, exception, program correctness, robustness, failure, fault, and error. The second part investigates what it means to handle exceptions in modular programs structured as hierarchies of data abstractions. The problems to be solve...
متن کاملException Handling Through a Workflow
Exception handling is a fundamental functionality of workflow management systems (WfMS). User involvement in exception handling is recognized as critical in various situations due to the unpredictability nature of the exceptions that can occur in a running workflow (WF) engine. The problem however is how to orchestrate human ad hoc interventions with a minimum impact on system integrity. The co...
متن کاملAnalysis of the .NET CLR Exception Handling Mechanism
We provide a complete mathematical model for the exception handling mechanism of the Common Language Runtime (CLR), the virtual machine underlying the interpretation of .NET programs. The goal is to use this rigorous model in the corresponding part of the still-to-be-developed soundness proof for the CLR bytecode verifier.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 1985
ISSN: 0164-0925,1558-4593
DOI: 10.1145/3318.3320